(1) Testen basierend auf der Analyse der funktionalen Spezifikation einer Komponente oder eines Systems. (2) Prüfung funktionaler Anforderungen. (3) Dynamischer Test, bei dem die Testfälle unter Verwendung der funktionalen Spezifikation des Testobjekts hergeleitet werden und die Vollständigkeit der Prüfung (Überdeckungsgrad) anhand der funktio...